(0 16 3)(1 17 11)(2 10 7)(4 13 9)(5 14 12)(6 15 8)
ALLOWS (11/8)-SEQUENCE
1: (4 9 13)
(0 16 3)(1 17 11)(2 10 7)(4 9 13)(5 14 12)(6 15 8)
2: (5 14 12)
(0 16 3)(1 17 11)(2 10 7)(4 9 13)(5)(6 15 8)(12)(14)
3: (4 9 13)
(0 16 3)(1 17 11)(2 10 7)(4)(5)(6 15 8)(9)(12)(13)(14)
4: (2 10 7)
(0 16 3)(1 17 11)(2)(4)(5)(6 15 8)(7)(9)(10)(12)(13)(14)